#include <cstdio>


int main ()
{
	int v, t;

	while (scanf ("%d %d", &v, &t) == 2)
	{
		printf("%d\n", 2 * v * t);
	}

	return 0;
}